-
1 эвристика построения теоремы
Большой англо-русский и русско-английский словарь > эвристика построения теоремы
-
2 theorem-finding heuristics
Большой англо-русский и русско-английский словарь > theorem-finding heuristics
-
3 theorem-finding heuristics
Математика: эвристика построения теоремыУниверсальный англо-русский словарь > theorem-finding heuristics
-
4 theorem-finding heuristics
English-Russian scientific dictionary > theorem-finding heuristics
См. также в других словарях:
Список алгоритмов — Эта страница информационный список. Основная статья: Алгоритм Ниже приводится список алгоритмов, группированный по категориям. Более детальные сведения приводятся в списке структур данных и … Википедия
Программируемые алгоритмы — Служебный список статей, созданный для координации работ по развитию темы. Данное предупреждение не устанавл … Википедия
Логическая семантика — раздел логики (См. Логика), посвященный изучению значений и смыслов понятий (См. Понятие) и суждений (См. Суждение) и их формальных аналогов интерпретаций (См. Интерпретация) выражений (термов и формул) различных исчислений (См.… … Большая советская энциклопедия